Observability in Multiprocessor Real-Time Systems with Hardware/Software Co-Simulation
نویسنده
چکیده
As an alternative to traditional software debuggers and hardware logic simulators, hardware/software coverification tools have been introduced in novel design processes for the embedded systems market. The main idea behind co-verification is to reduce design time by enabling an early integration of hardware and software development. However, with this approach, several new aspects on software debugging have been brought to surface. Especially when we look at verification of multithreaded applications, and multiprocessors in embedded real-time systems, the use of co-simulation has shown to be a promising method for reducing and/or eliminating the intrusiveness on run-time behaviour that is related to traditional software debugging. This paper presents the key concepts with co-simulation as adopted in two leading commercial tools. Furthermore, the use of co-simulation for verification of a real-time system is discussed. Ideas on applications that can benefit from co-simulation are also proposed.
منابع مشابه
Non-Intrusive Hardware/Software Monitoring for Single- and Multiprocessor Real-Time Systems
Run-time observability in hardware and software is a requirement for testing and debugging any computer system. In real-time systems, and in particular distributed such, it is however difficult to obtain observability without altering the system’s timing behaviour. Monitoring techniques using passive hardware have been used to extract software execution traces non-instrusively to the system. Ho...
متن کاملOn-Chip Monitoring for Non- Intrusive Hardware/Software Observability
The increased complexity in today’s state-of-the-art computer systems make them hard to analyse, test, and debug. Moreover, the advances in hardware technology give system designers enormous possibilities to explore hardware as a means to implement performance demanding functionality. We see examples of this trend in novel microprocessors, and Systems-on-Chip, that comprise reconfigurable logic...
متن کاملReal Time Dynamic Simulation of Power System Using Multiple Microcomputers
Recent developments in the design and manufacture of microcomputers together with improved simulation techniques make it possible to achieve the speed and accuracy required for the dynamic simulation of power systems in real time. This paper presents some experimental results and outlines new ideas on hardware architecture, mathematical algorithms and software development for this purpose. The ...
متن کاملFault Tolerance for Multiprocessor Systems Via Time Redundant Task Scheduling
Fault tolerance is often considered as a good additional feature for multiprocessor systems but nowadays it is becoming an essential attribute. Fault tolerance can be achieved by the use of dedicated customized hardware that may have the disadvantage of large cost. Another approach to fault tolerance is to exploit existing redundancy in multiprocessor systems via a task scheduling software stra...
متن کاملHardware/Software Co-Configuration for Multiprocessor SoPC
Real-time operating systems (RTOS) for multiprocessor systems built on a single FPGA should be configurable to a wide rage of architecture. Because the configuration of RTOS depends on hardware architecture, it is advantageous to co-configure multiprocessor architecture and RTOS simultaneously. This paper is a work-in-progress report of our research on configurable RTOS and co-configuration
متن کامل